Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 11, 2024

• Switch to plotly.net

  hallba

  committedFeb 11, 2024
  b2c92aa

Commits on Feb 20, 2023

• typo fix

  hallba

  committedFeb 20, 2023
  b873134

Commits on Nov 10, 2020

• Added instructions to manually download z3

  hallba

  committedNov 10, 2020
  9f346e8

Commits on Mar 13, 2019

• removed cell unit of measure

  

  Ben Hall

  authored and

  Ben Hall

  committedMar 13, 2019
  50b7e03

Commits on Feb 5, 2019

• Added code to fix download issue

  

  Ben Hall

  authored and

  Ben Hall

  committedFeb 5, 2019
  d6dc5d2

Commits on Jul 1, 2018

• complete first draft. Only missing anything on partial functions

  

  Ben Hall

  committedJul 1, 2018
  bacbd60

Commits on Jun 30, 2018

• seq, arrays, tuples, discriminated unions

  

  Ben Hall

  committedJun 30, 2018
  83b76c3

• added escape character to fix typo

  

  Ben Hall

  committedJun 30, 2018
  c19a900

Commits on Jun 29, 2018

• Merge branch 'master' of https://github.com/hallba/WritingSimulators

  hallba

  committedJun 29, 2018
  0a7a882

• Minor edits

  hallba

  committedJun 29, 2018
  5bd56d1

Commits on Jun 28, 2018

• more list activities

  

  Ben Hall

  committedJun 28, 2018
  41e3cbb

Commits on Jun 25, 2018

• Added titles for remaining sections

  

  Ben Hall

  committedJun 25, 2018
  b2f07df

• More on lists, pattern matching, etc

  

  Ben Hall

  authored and

  Ben Hall

  committedJun 25, 2018
  034f0bd

Commits on Jun 24, 2018

• Pipes and composition operators, anonymous functions

  

  Ben Hall

  committedJun 24, 2018
  d04a7bb

Commits on Jun 23, 2018

• Loops, recursion etc

  

  Ben Hall

  authored and

  Ben Hall

  committedJun 23, 2018
  0762596

Commits on Jun 13, 2018

• edit for clarity

  

  Ben Hall

  committedJun 13, 2018
  2284457

• example and function activity

  

  Ben Hall

  committedJun 13, 2018
  1f465db

• small change

  

  Ben Hall

  committedJun 13, 2018
  f2f57c5

Commits on Jun 9, 2018

• Initial steps of basic introduction to programming

  

  Ben Hall

  committedJun 9, 2018
  a167913

Commits on Mar 14, 2018

• Update readme- added AN link for Z3 components

  hallba

  committedMar 14, 2018
  23032e1

Commits on Mar 10, 2018

• Introduction to F# via a BD simulation of bacterial swimming

  

  Ben Hall

  authored and

  Ben Hall

  committedMar 10, 2018
  023d8b5

Commits on Feb 7, 2018

• typo

  

  Ben Hall

  authored and

  Ben Hall

  committedFeb 7, 2018
  516e63d

Commits on Jan 23, 2018

• Added more finishing tasks

  

  Ben Hall

  authored and

  Ben Hall

  committedJan 23, 2018
  91d2da7

Commits on Jan 19, 2018

• Merge branch 'master' of https://github.com/hallba/WritingSimulators

  

  Ben Hall

  authored and

  Ben Hall

  committedJan 19, 2018
  2792346

• Links to papers

  

  Ben Hall

  authored and

  Ben Hall

  committedJan 19, 2018
  6e11f6b

• Merge pull request #1 from hallba/add-license-1

  hallba

  committedJan 19, 2018
  07bc8e9

• Create LICENSE.md

  hallba

  committedJan 19, 2018
  70c28f3

• Update README.md

  hallba

  committedJan 19, 2018
  f201532

Commits on Jan 16, 2018

• removed some code

  hallba

  committedJan 16, 2018
  1758478

• Completed sp practical

  hallba

  committedJan 16, 2018
  97ccdd1

• updated all to run Z3 on multiple different machines

  hallba

  committedJan 16, 2018
  2aa444d

• Z3 downloads for linux or win

  hallba

  committedJan 16, 2018
  5b2efd7

• Update from Azure Notebooks to Jupyter

  hallba

  committedJan 16, 2018
  961323f

• Initial commit

  hallba

  committedJan 16, 2018
  f2b7d1e