Logo
Explore Help
Sign In
alois/CoqDecks
Watch 1
Star 0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
66 Commits 1 Branch 0 Tags
2e6e37f458285c85e3f45d1030ae91d57d701d83
Commit Graph
4 Commits
Author SHA1 Message Date
Gareth Latty 2e6e37f458 Resolve #35: Used JS lib and ports, which is a little more palatable now. 2016-05-22 00:11:15 +01:00
Gareth Latty 42938646a0 Restructure of server-side. Includes some UI fixes from recent updates. 2016-05-21 03:27:54 +01:00
Gareth Latty 84254e88a5 Upgraded for elm 0.17. Currently compiling, but with runtime errors - looks like Html.map is broken. Hopefully should begin working with the next release. 2016-05-19 01:34:42 +01:00
Gareth Latty 54f5c10e89 Project restructure to allow for automated deployment on Heroku. 2016-01-21 00:29:34 +00:00
Powered by Gitea Version: 1.27.0 Page: 31ms Template: 2ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API