The following pages link to Session:Blackhoodie Meetup:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Session:Formalizing mathematics in the proof assistant Agda (← links)
- Session:Foundation workshop: Fun with fractals and programming for absolute beginners of fractals and programming (← links)
- Session:A quick tour through some of Haskell's crazy features (← links)