Idris-dev/docs/st
2019-12-19 14:26:41 +01:00
..
composing.rst Fix some typos and normalize the use of punctuations. 2018-04-03 14:31:32 +08:00
examples.rst Fix a typo 2019-03-01 19:51:15 +08:00
index.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
introduction.rst use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
machines.rst recommit machines.rst 2017-05-25 19:20:55 +03:00
state.rst Function typo 2019-01-22 23:30:27 +00:00