Skip to content

Commit badfb84

Browse files
authored
Update index.md
1 parent 59ad74f commit badfb84

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

index.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ accessible (and also refined, more celaned up than the code in the paper) via on
2020
- [http://ideone.com/WcKYu0](http://ideone.com/WcKYu0)
2121
powered by IDEone (Fork to edit and run experiments)
2222
* Hindley--Milner type system (HM):
23-
- [http://ideone.com/cI0oXR](http://ideone.com/cI0oXR])
23+
- [http://ideone.com/cI0oXR](http://ideone.com/cI0oXR)
2424
powered by IDEone (Fork to edit and run experiments)
2525
* HM + type-constructor polymorphism + kind polymorphism:
2626
- [http://ideone.com/q44ufk](http://ideone.com/q44ufk)

0 commit comments

Comments
 (0)