project_m36_websocket_client
A Flutter web websocket client for Project-M36.
It’s also an attempt to bring algebraic datatypes into the Dart land.
Project-M36 also has a javascript version of websocket client.
Getting Started
git clonethe repo.flutter pub getflutter pub run build_runner buildto generate extra source codes. Here freezed is used to represent ADTs.flutter -d web-server(I failed to useflutter -d chromein my nixos.)
Known Issue
DataTablecan’t have a flexible row height. SoRelationAtomcan’t be well displayed byDataTable. Right now, it just show as a thumbnail. There is a way to fix it by adjusting the_buildDataCellmethod ofDataTable, but I can’t find a way to edit flutter source code in nixos.
Getting Started With Flutter
This project is a starting point for a Flutter application.
A few resources to get you started if this is your first Flutter project:
For help getting started with Flutter, view our
online documentation, which offers tutorials,
samples, guidance on mobile development, and a full API reference.