Skip to content

History

New page

Revisions

  • Updated Compiling ATS code (markdown)

    @githwxi githwxi committed Jan 9, 2023
    9a09e9d

  • Updated Home (markdown)

    @githwxi githwxi committed Sep 1, 2020
    4933bb0

  • Updated $showtype (markdown)

    @master-q master-q committed Aug 31, 2020
    ed88529

  • Created $showtype (markdown)

    @master-q master-q committed Aug 31, 2020
    f7fad74

  • Space

    @master-q master-q committed Aug 31, 2020
    86122cb

  • Add link to $showtype

    @master-q master-q committed Aug 31, 2020
    2cb8d71

  • Updated Home (markdown)

    @xanadu-lang xanadu-lang committed Dec 17, 2019
    52ebfd7

  • Fixed polymorphic list0 link

    @atlv24 atlv24 committed Dec 12, 2019
    db1251e

  • Updated links

    @atlv24 atlv24 committed Dec 12, 2019
    9ac95e5

  • Added case, case-, and case+

    @atlv24 atlv24 committed Dec 12, 2019
    b0e2bd5

  • fix broken link

    @wiml wiml committed Aug 17, 2019
    343dbb5

  • Updated effects (markdown)

    @bbarker bbarker committed May 30, 2019
    357f54c

  • Updated Home (markdown)

    @master-q master-q committed May 29, 2019
    9b6b9bb

  • Updated GDB (markdown)

    @master-q master-q committed May 28, 2019
    cce8e7f

  • Created GDB (markdown)

    @master-q master-q committed May 28, 2019
    8e4cc56

  • Add the "Debug" item

    @master-q master-q committed May 28, 2019
    dc03d7b

  • updating ats book url

    @bbarker bbarker committed Jul 15, 2018
    eea1fbe

  • updating ats book url

    @bbarker bbarker committed Jul 15, 2018
    ed55206

  • Updated Internal types (markdown)

    @bbarker bbarker committed Jul 3, 2018
    ecd3cfc

  • Added `types` sort

    @Hibou57 Hibou57 committed Jun 24, 2018
    7fb0509

  • Changed https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/trunk into svn://svn.code.sf.net/p/ats-lang/code/trunk

    @Hibou57 Hibou57 committed Jun 15, 2018
    444c95e

  • “Need to verify in ATS2”: yes it is (removing this comment)

    @Hibou57 Hibou57 committed Jun 11, 2018
    6d3e583

  • Added S2RTBASpre and S2RTBASimp

    @Hibou57 Hibou57 committed Jun 11, 2018
    16ea8a3

  • stackoverflow

    @bbarker bbarker committed Mar 11, 2018
    4a5d0bd

  • added ATS repos on github

    @bbarker bbarker committed Mar 11, 2018
    2bd03e2

  • Document what mac# means

    @doublec doublec committed Dec 4, 2017
    7c2de02

  • Updated ATS implementations (markdown)

    @mrkgnao mrkgnao committed Nov 28, 2017
    7df8d43

  • Created ATSCC2JS: representations of ATS terms in JS programs (markdown)

    @ashalkhakov ashalkhakov committed Sep 21, 2017
    3b334d0

  • Updated Home (markdown)

    @githwxi githwxi committed May 20, 2017
    7d0a227

  • Updated Home (markdown)

    @githwxi githwxi committed May 20, 2017
    2d14115