User: FranchuFranchu

• Created: 1117 days ago
• Karma: 151
• Type theory is great!

submissions | comments