User: FranchuFranchu

• Created: 1100 days ago
• Karma: 150
• Type theory is great!

submissions | comments