issues
search
idris-hackers
/
IdrisWeb
A secure web framework, built in the Idris language.
MIT License
109
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Syntactic error when building
#10
fabriceleal
opened
9 years ago
14
No license
#9
david-christiansen
closed
10 years ago
4
Indentation Parsing Bug May Effect Idris Web
#7
adamsmd
closed
10 years ago
0
.ipkg fails to build with Idris 0.9.10
#6
pseudonom
closed
10 years ago
7
Added paper revisions so far
#5
SimonJF
closed
10 years ago
0
Rewrote SQLite library.
#4
SimonJF
closed
10 years ago
0
Idrisweb ipkg
#3
SimonJF
closed
10 years ago
0
Paper updates
#2
edwinb
closed
11 years ago
1
Needs refactoring
#1
SimonJF
closed
11 years ago
0