search

idris-hackers / IdrisWeb

A secure web framework, built in the Idris language.
MIT License
109 stars 6 forks source link

Added paper revisions so far #5

Closed SimonJF closed 10 years ago

SimonJF commented 10 years ago

Also started the rewrite of the DB section with the new DB stuff